
\functions {
	int a; int b; int c; int d;
}

\problem {
	5*a >= 1 & 7*a <= 6
->
	false
}
